Mathematical proof - PDFSEARCH.IO - Document Search Engine

Mathematical proof
Results: 1839

#	Item
301	Programming Language Techniques for Cryptographic Proofs Add to Reading List Source URL: certicrypt.gforge.inria.fr Language: English - Date: 2013-06-17 13:32:36 Mathematics Knowledge Mathematical proof Science Cryptography Ciphertext indistinguishability Optimal asymmetric encryption padding
302	Beyond Provable Security: Verifiable IND-CCA Security of OAEP Add to Reading List Source URL: certicrypt.gforge.inria.fr Language: English - Date: 2013-06-17 13:32:36 Ciphertext indistinguishability Public-key cryptography Mathematical proof Concrete security Random oracle RSA Equivalence relation Cryptography Optimal asymmetric encryption padding Mathematical logic
303	A Form for Referees in Theoretical Computer Science∗ Ian Parberry† Department of Computer Science & Engineering University of North Texas September 20, 2007 Add to Reading List Source URL: larc.unt.edu Language: English - Date: 2011-05-12 16:09:28 Academic literature Academic publishing Peer review Scientific method Science Computer Pi Mathematical proof Knowledge Mathematics Mathematical logic
304	Theorem Proving in Lean Jeremy Avigad Leonardo de Moura Soonho Kong Version df39393, updated at:37: Add to Reading List Source URL: leanprover.github.io Language: English - Date: 2015-06-08 12:08:26 Formal systems Automated theorem proving Logical syntax Propositional calculus Mathematical proof Deduction theorem Theorem Proof assistant Axiom Logic Mathematics Mathematical logic
305	Programming Language Techniques for Cryptographic Proofs Add to Reading List Source URL: software.imdea.org Language: English - Date: 2013-03-13 12:33:24 Mathematics Knowledge Mathematical proof Science Cryptography Ciphertext indistinguishability Optimal asymmetric encryption padding
306	Building a Calculus of Data Structures Viktor Kuncak1⋆ , Ruzica Piskac1 , Philippe Suter1 , and Thomas Wies2 1 EPFL School of Computer and Communication Sciences, Lausanne, Switzerland Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2009-11-10 09:06:44 Model theory Metalogic Proof theory Logic in computer science Formal languages First-order logic Multiset Presburger arithmetic Quantifier elimination Logic Mathematics Mathematical logic
307	On Set-Driven Combination of Logics and Verifiers LARA Technical Report, February 2, 2009 Viktor Kuncak1 and Thomas Wies1,2 1 2 Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2009-02-02 09:55:31 Model theory Logic in computer science Metalogic Predicate logic Proof theory First-order logic Satisfiability Modulo Theories Presburger arithmetic Quantifier elimination Logic Mathematical logic Theoretical computer science
308	Type Theory and Constructive Mathematics Thierry Coquand Function, Proofs, Constructions, February 21, 2014 Type Theory and Constructive Mathematics Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2014-02-23 10:00:40 Mathematical logic Mathematical constructivism Constructivism Type theory Mathematical proof Function Constructive proof Constructive set theory Mathematics Epistemology Logic
309	CertiCrypt Language-Based Cryptographic Proofs in Coq Gilles Barthe1,2 Benjamin Grégoire1,3 Santiago Zanella 1,3 1 Microsoft Add to Reading List Source URL: certicrypt.gforge.inria.fr Language: English - Date: 2013-06-17 13:32:36 Mathematical proof RSA PP Provable security Cryptography Mathematics Mathematical logic
310	Ad Material Specifications Accepted ad file formats Whichever format you choose, all images and files must be 300 dpi at 100% scale. Images should be in CMYK. We accept RGB and Spot Color files and images, but we must co Add to Reading List Source URL: www.westernartcollector.com Language: English - Date: 2014-10-19 02:00:39 Knowledge PDF/X Mathematical proof Email Advertising Tagged Image File Format Computing Graphics file formats Computer graphics

UPDATE